adding special port rotation for boot peers
[SauerbratenRemote.git] / P2PMud-sauerbraten / launchers / P2PMudPeer 9091.launch
blobdff1d023332f4cc2945c26117f4a14ef93df9f50
1 <?xml version="1.0" encoding="UTF-8"?>
2 <launchConfiguration type="org.codehaus.groovy.eclipse.groovyLaunchConfiguration">
3 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
4 <listEntry value="/P2PMud-sauerbraten/src/p2pmud/P2PMudPeer.java"/>
5 </listAttribute>
6 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
7 <listEntry value="1"/>
8 </listAttribute>
9 <booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
10 <stringAttribute key="org.eclipse.debug.core.source_locator_id" value="org.codehaus.groovy.eclipse.editor.groovySourceLocator"/>
11 <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="p2pmud.P2PMudPeer"/>
12 <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="9091 - 9090 -scribe helloScribe"/>
13 <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="P2PMud-sauerbraten"/>
14 </launchConfiguration>